• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۴۶ پاسخ غیر تکراری از ۴۶ پاسخ تکراری در مدت زمان ۱,۱۹ ثانیه یافت شد.

41. STOC'06 : proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, Washington, USA, May 21-23, 2006

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers

Classification :
QA
267
.
7
.
A25
2006

42. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Roberto Giacobazzi )ed.(

Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
6
.
I5733
2004

43. Structural information and communication complexity :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Zvi Lotker, Boaz Patt-Shamir (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.

Classification :
QA76
.
9
.
A43

44. Symposium on semantics of algorithmic languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Esfehan University of Technology (Esfahan)

Subject: Programming languages (Electronic computers)- Semantics- Congresses►Formal languages- Congresses►Computer algorithms- Congresses

Classification :
3
.
L28
,
no
.
188

45. Symposium on semantics of algorithmic languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by E. Engeler

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms

Classification :
QA
1
.
L4
v
.
188

46. Symposium on semantics of algorithmic languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / edited by E. Engeler

Library: Library of College of Science University of Tehran (Tehran)

Subject: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses

Classification :
QA
76
.
7
.
S9
1971
  • »
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival